$\forall$${\it es}$:ES, $e$, ${\it e'}$:E. (loc($e$) = loc(${\it e'}$) $\in$ Id) $\Rightarrow$ (($e$ $<$loc ${\it e'}$) $\vee$ ($e$ = ${\it e'}$) $\vee$ (${\it e'}$ $<$loc $e$))